Encapsulation -- ML-KEM-768
ek: 1456A2EE8C3556054ABC79B4882C3190E5CA726AB402E5B09728C0F4F79C9FC2ADD828ABE432B1501B60F46CCBC86A3378C34895708A13671B20B389479AAA01C69D6B3B7D07D1C3AB54B91C580F5A336B30069A4F134FFD3764CE73A047E2844771742BF4710B972D4F6590A1C53A975368C271B670F1A4036441054A66E8815997512288552FD7149FFB705AAE133F8414060D0092FA8A1627D78AB2ABC6696288BAF5C60EF370827A7EFA72AE5C6741A5DA043D5940F121485372A98F472D60F05F74D95F01A1991E73A3E0A9536467A4738AB4CF385BA772827EB8CC058B3572E40B598444C181C7F6D9B760A7B907092E9C3351EA234E4449BD9B61A134654E2DA191FF0793961569D3594448BBC2586999A6671EFCA957F3A6699A4A1B2F4707ABA0B2DB20114FE68A4E2815AF3AAC4B8C6BE5648C50CC35C27C57288028D361708D302EEBB860BEE691F656A2550CB321E9293D7516C599817B766BA928B108779A1C8712E74C76841AC58B8C515BF4749BF715984445B2B53063384001E55F68867B1AF46CA70CA8EA74172DB80B5218BDE4F00A0E658DB5A18D94E1427AF7AE358CCEB238772FCC83F10828A4A367D42C4CB6933FDD1C1C7B86AD8B009657A96222D7BA92F527AF877970A83247F47A23FC2285118B57717715204674DA9C94B62BC7838CF87200156B26BA4671159931C49322D80671A0F332EAA2BBF893BE408B9EAC6A505483AA9075BD1368B51F99211F480A9C542A75B5BE08E43ADAF301DD729A85954010E64892A2AA4F15C0BD70B3D856494FF9BA0FE4CE12991CA06B5E3D0B2AF1F797B7A2B760910AE9F833D0D4267A58052C2990F161B886E251711C09D085C3D958B144192C9CC3224A460715B6784EB0B26F237187507D85C5110ACC71CE47198F254553356DAB448C38D243A7C02BE40C908C828D05C081DFAB8FC6B5CFE7D56E7317157DC053B2B3489986B081288871818585E09931095E3274A084115BE276438254A796270A7B4306F08B98D9C2AAECF7065E74446B7C696DBAAF8B4625A10B07827B4A8BABAB09B64AE1C375BB785441F319FB9AC2F14C95FFB252ABBB809C6909CD97706E40691CBA61C9252BD38A04311CA5BB2CA79578347505D0888851E082648BD003BE97C0F8F66759EC96A96A081C6822C4510559537042FC15F069A649B74A10961B354A1F625B04E25B293CF65FB4F53A80CC733D7A175775BF8A9ABB9201620E83A7F3E724D1287DBC44BDD5D85FC71545A927BEEDE537A7768735CC1486C7C3F31104DB67343F435D2D45554BAAC9CDB5822E8422AE8321C78ABE9F261FD4810A79E33E94E63B3341872C92253521997C084FBC060B8B125CCC88AC85AC5FE3168ACB059B3F119C4E050A20732F501BB9B3E687C846B5C2653F8886373E1004A2AB8D1BB970A7E571D8A46EE81B782F26942DD394FDD9A5E4C5631D985528604B1CC976275B6AC8A67CEEC10FFACBBA3D3BB141321DFC3C9231FC96E448B9AB847021E2C8D90C6BCAF2B1240783B62C79DEDC072A5763E660AF2C27C3F0C3C09207CAD990BB41A7BFCEC99F51596A0E83778F85C006AC6D1FE981B4C4BA1CB575A7D07AE2D31BA760095F74BC163841CF8FF77F894ABC6D261ED87A4530363B949C4AD24EFB3A56809478DDA2
m: 40BE9DCAC16E9CA73D49D0C83F9D3D89BB71574A4219A0F393DFECE2988394C4

K: 616E0B753A3B7F40FEF9A389F58F16BFBB04622941D2464BDAE767820DFAC38E
r: DF3BF6F2937BC204C19CB6531298C968C4099B04718020BED6C7F3B0D1A33AFB
tHat: [[1556, 2597, 3310, 856, 1366, 1184, 2492, 2887, 3208, 786, 1424, 3246, 2674, 2886, 1282, 2830, 2199, 3074, 2036, 2511, 671, 2780, 2264, 2738, 740, 2835, 2896, 1537, 3316, 3254, 2760, 822, 888, 1164, 149, 2215, 1811, 438, 800, 2203, 2631, 2729, 1537, 2524, 2923, 2003, 263, 3133, 1195, 2965, 2076, 245, 858, 1715, 1584, 2464, 847, 1265, 2045, 1603, 974, 2567, 583, 2126, 327, 1863, 1067, 1823, 1803, 729, 1359, 2310, 1441, 940, 919, 1669, 450, 2919, 368, 2639, 1027, 1046, 2565, 1636, 488, 1432, 407, 549, 1416, 757, 1239, 2545, 251, 1447, 942, 1009, 1156, 97, 13, 2336, 2810, 360, 1831, 2221, 2994, 3178, 617, 2182, 1466, 3183, 782, 1807, 2690, 2023, 762, 2791, 1884, 1046, 2725, 77, 2365, 1029, 497, 1154, 595, 2711, 1935, 724, 96, 1535, 2420, 1533, 257, 2458, 798, 2615, 2528, 1338, 1892, 2630, 2675, 2888, 2255, 1459, 679, 2087, 2174, 3275, 2821, 856, 1138, 190, 1113, 1096, 449, 3192, 2550, 2941, 1888, 2970, 2311, 736, 924, 1299, 1002, 1250, 2372, 3028, 411, 2582, 1332, 1254, 301, 2330, 2047, 2352, 1430, 1681, 2515, 1093, 2888, 3115, 2392, 2454, 1958, 486, 2556, 1402, 1779, 1690, 2714, 436, 1839, 116, 171, 2858, 219, 274, 1615, 2222, 2126, 338, 2735, 2755, 3147, 1720, 1253, 2246, 3152, 860, 3266, 1399, 40, 648, 467, 1798, 141, 739, 2283, 1547, 1726, 2334, 1782, 2597, 3157, 2864, 2337, 670, 1341, 359, 2501, 2073, 1659, 1719, 2217, 2834, 1800, 2471, 1820, 296, 3303, 1892, 2692, 3153, 3211, 1304, 1115, 1871, 1947, 351, 1176, 1108, 1458, 779, 2147, 1027],
[1281, 1534, 1640, 1976, 1050, 1743, 3239, 2688, 1258, 375, 2093, 187, 2130, 3025, 228, 175, 1294, 2262, 437, 2266, 404, 1070, 1914, 2799, 3125, 3304, 2226, 1907, 3119, 2108, 2289, 640, 932, 1658, 3284, 1218, 950, 1017, 3293, 449, 1659, 2776, 139, 2400, 2391, 1578, 1826, 2989, 1426, 639, 1967, 1944, 2160, 810, 1095, 1967, 3107, 559, 389, 2225, 343, 1911, 21, 1122, 2676, 2509, 1684, 699, 967, 2248, 760, 7, 2837, 614, 1722, 1812, 2325, 793, 964, 553, 1752, 1808, 928, 815, 746, 3002, 1016, 3049, 2880, 2536, 2732, 1286, 852, 2728, 1424, 3031, 2067, 2902, 2335, 537, 2079, 164, 1180, 677, 1397, 3051, 1032, 942, 986, 31, 733, 2471, 1413, 1033, 1552, 1166, 658, 2730, 1359, 3073, 189, 2871, 1752, 1173, 2383, 2991, 1039, 3310, 2322, 457, 2976, 1510, 2877, 672, 2033, 2431, 695, 2938, 352, 169, 2281, 831, 1232, 621, 2170, 85, 2348, 2306, 497, 2950, 646, 1310, 3185, 145, 1488, 3128, 2265, 2837, 2372, 705, 924, 556, 1610, 116, 1557, 1931, 78, 2859, 879, 1810, 135, 2005, 1413, 284, 3082, 1820, 1998, 404, 1423, 1106, 1363, 1747, 1195, 2244, 568, 1085, 167, 700, 3300, 2304, 652, 2264, 5, 2076, 3039, 2298, 1478, 3323, 1511, 1773, 1907, 337, 125, 1340, 946, 1163, 1689, 2824, 2177, 2178, 369, 2136, 133, 2462, 2353, 1504, 1074, 2567, 388, 1457, 1762, 1079, 1154, 2677, 1942, 162, 891, 100, 3056, 2440, 729, 2732, 2028, 111, 1118, 1095, 3179, 1687, 2669, 2811, 1675, 596, 2977, 112, 2946, 1191, 2955, 2746, 1545, 1195, 993, 1884, 2235, 1351, 833, 415],
[2811, 3113, 3313, 2388, 767, 1323, 2987, 2059, 2460, 150, 1997, 1801, 110, 1684, 2588, 1563, 1481, 690, 2771, 72, 3121, 2641, 3259, 2674, 2197, 839, 1397, 3328, 2184, 1304, 736, 1608, 139, 61, 1982, 3081, 1784, 1663, 3161, 2414, 2729, 134, 2076, 550, 452, 85, 857, 1797, 3138, 351, 2544, 2662, 1865, 1195, 1552, 441, 2613, 500, 2914, 69, 3042, 661, 1596, 1535, 1460, 943, 3200, 1852, 2621, 375, 1367, 3063, 2698, 3001, 402, 1568, 782, 2680, 2035, 590, 2257, 2002, 1212, 3028, 2261, 1533, 1479, 1105, 1961, 3042, 1517, 894, 1703, 2167, 3125, 332, 1926, 3132, 499, 65, 2011, 838, 831, 1492, 1325, 1364, 2635, 3226, 1485, 2091, 1070, 552, 942, 536, 2759, 3048, 1695, 498, 468, 168, 889, 1006, 1684, 958, 307, 2164, 556, 601, 309, 2450, 2172, 1264, 1724, 176, 651, 1473, 2252, 2760, 3205, 1530, 1763, 2209, 1483, 2480, 319, 2497, 1358, 160, 800, 759, 2896, 2961, 1715, 2174, 1736, 2900, 1474, 1014, 1672, 888, 62, 65, 2978, 2266, 2331, 1803, 1447, 1822, 1240, 1770, 3048, 1921, 1583, 2370, 813, 2381, 2557, 2653, 1508, 1596, 2077, 1369, 40, 1206, 2332, 1900, 2855, 1701, 1736, 1994, 494, 252, 3066, 2988, 2877, 2835, 577, 467, 3324, 2339, 3121, 2415, 2276, 2964, 1195, 1800, 545, 3214, 3289, 1712, 714, 2847, 1828, 2096, 3254, 1938, 3294, 125, 1834, 1589, 230, 2806, 1836, 3122, 1008, 3084, 1938, 3232, 217, 3001, 1857, 3066, 2510, 2556, 2385, 1701, 782, 1912, 1423, 3080, 3078, 1754, 2335, 2078, 1204, 2988, 1308, 1883, 167, 1965, 994, 445, 167, 150, 1119, 3015]]

bHat = aHat^T: [[[2269, 1855, 3190, 1178, 1407, 2272, 1027, 2845, 2746, 1751, 72, 2945, 186, 951, 2139, 1192, 680, 13, 3106, 1489, 1902, 3294, 1138, 763, 1831, 2818, 2977, 177, 3258, 2714, 132, 2734, 1592, 2562, 2053, 1789, 171, 1288, 1286, 1162, 2581, 871, 3022, 2765, 2169, 2217, 364, 2465, 3320, 1916, 2379, 3095, 25, 1543, 878, 1779, 800, 2024, 2207, 141, 2080, 2214, 2974, 2486, 949, 2890, 654, 456, 1555, 1042, 3113, 3294, 1991, 2229, 807, 2276, 793, 2593, 697, 2451, 3284, 1578, 2676, 2117, 2859, 3327, 2070, 1825, 1276, 2330, 2798, 1535, 2196, 1129, 3215, 2831, 481, 1140, 2006, 3157, 3212, 1426, 1295, 1075, 1239, 2423, 506, 830, 1351, 1221, 1433, 3291, 1535, 2310, 1752, 2368, 1473, 3212, 488, 2120, 361, 2503, 1924, 2448, 65, 675, 94, 2918, 1555, 659, 816, 2161, 2494, 2824, 2991, 2262, 153, 282, 2985, 1424, 1414, 1752, 2365, 1838, 98, 1268, 2494, 1658, 2630, 1054, 737, 895, 3230, 2826, 63, 192, 2911, 659, 1305, 2323, 2139, 2689, 3031, 254, 1240, 1531, 860, 2771, 2364, 2679, 248, 2788, 1488, 755, 1952, 227, 1322, 1020, 2194, 2163, 2193, 885, 2056, 3150, 993, 462, 850, 84, 289, 2921, 1854, 1563, 1042, 21, 3224, 156, 2831, 2807, 1620, 1073, 2186, 2767, 210, 393, 1354, 1184, 3130, 115, 221, 2358, 761, 1914, 753, 2891, 3316, 3254, 1656, 1645, 203, 1911, 1625, 1173, 2392, 2401, 1360, 409, 1594, 827, 2260, 249, 1195, 2382, 1151, 2177, 284, 1040, 2926, 436, 2523, 2038, 2498, 793, 2840, 2954, 2997, 2117, 991, 2190, 1337, 1771, 1975, 1077, 127, 17, 3033, 2498],
[1095, 705, 1916, 1081, 375, 739, 1365, 2439, 2118, 2041, 630, 1130, 1568, 2436, 2929, 179, 2991, 2512, 1633, 409, 2913, 1810, 2503, 1023, 442, 79, 1857, 2823, 2818, 2645, 2864, 115, 2145, 2331, 2676, 1861, 3203, 3117, 473, 468, 2784, 146, 76, 964, 849, 2961, 2280, 2558, 809, 205, 2824, 3082, 2492, 2018, 1903, 1673, 288, 1722, 2343, 541, 3203, 2841, 2345, 89, 3320, 236, 2280, 1391, 1597, 2273, 2533, 548, 507, 355, 1546, 2739, 2543, 2558, 270, 1315, 2722, 3212, 2848, 1869, 1600, 1787, 1175, 2023, 2586, 1523, 1641, 3305, 884, 1276, 1421, 1807, 837, 358, 2362, 601, 691, 2324, 393, 1846, 316, 2699, 3078, 1634, 1142, 2404, 1387, 1191, 2397, 1426, 1479, 290, 59, 1215, 1201, 3293, 2873, 972, 2165, 678, 2008, 3298, 2638, 2180, 2714, 2381, 1550, 1804, 204, 945, 2851, 416, 2770, 1122, 1142, 2013, 694, 2295, 2307, 2635, 682, 608, 1151, 1950, 2841, 1866, 559, 1316, 1155, 494, 1501, 876, 148, 2667, 2921, 2072, 1265, 3, 84, 404, 484, 275, 3096, 2436, 2642, 2678, 1642, 1481, 790, 850, 965, 514, 2246, 3019, 2008, 113, 1267, 3155, 2372, 2496, 2165, 1187, 936, 405, 574, 1843, 1622, 903, 1312, 1797, 3257, 1665, 108, 3116, 3068, 2422, 2209, 1731, 2095, 1288, 885, 2155, 2203, 1623, 1471, 2778, 473, 1017, 2698, 1997, 2531, 2057, 453, 2846, 3136, 1563, 206, 2211, 2232, 755, 1246, 2544, 1244, 76, 2249, 2612, 2928, 1830, 577, 532, 1204, 2859, 19, 1381, 788, 2405, 33, 1178, 3207, 2113, 753, 1473, 3013, 749, 1239, 601, 2943, 482, 2855, 2388, 2022, 965],
[2208, 2157, 2178, 1185, 1280, 2238, 2077, 2805, 2681, 3221, 752, 750, 2988, 1739, 1339, 2432, 186, 2001, 1032, 2098, 1649, 3054, 2910, 1141, 1887, 2610, 1111, 509, 1407, 1690, 2802, 582, 3214, 2829, 3008, 1659, 3211, 1666, 117, 762, 2108, 1902, 2916, 2419, 2439, 219, 1625, 2854, 176, 1682, 2301, 1044, 854, 3050, 1592, 1156, 463, 2845, 2283, 2646, 1915, 638, 2554, 2814, 1146, 1244, 2721, 962, 1392, 3156, 533, 2553, 2823, 2209, 2963, 285, 1290, 2703, 1093, 1772, 829, 1851, 1800, 1326, 909, 2644, 1913, 496, 3012, 1380, 649, 3224, 394, 315, 2323, 3201, 3295, 1217, 3031, 2329, 1190, 944, 977, 1204, 2562, 1434, 1898, 2948, 1640, 3097, 55, 2132, 2496, 302, 2697, 965, 810, 17, 953, 2697, 1842, 1345, 2684, 1497, 920, 13, 622, 3014, 1256, 3030, 2553, 1521, 583, 739, 1351, 1958, 1743, 2987, 2572, 60, 474, 834, 2627, 884, 983, 1577, 3297, 1625, 1669, 465, 1636, 1264, 2673, 3302, 2050, 647, 532, 611, 483, 24, 2714, 3037, 3039, 2707, 2341, 3233, 3154, 736, 2547, 2014, 2763, 99, 3280, 3226, 1960, 1007, 380, 2517, 349, 333, 2684, 1316, 1790, 3321, 2929, 1941, 32, 229, 1338, 701, 1491, 822, 1221, 2419, 1831, 1198, 570, 2512, 2922, 367, 1496, 766, 1, 909, 1160, 2469, 652, 29, 403, 604, 31, 79, 466, 3082, 2291, 701, 578, 100, 1781, 1286, 2720, 106, 892, 667, 3156, 1299, 3256, 2328, 2608, 2933, 1728, 3035, 952, 3294, 2879, 2234, 1192, 510, 309, 1038, 3122, 1590, 608, 2798, 561, 1073, 2259, 152, 2552, 1574, 1697, 846, 2698, 3074, 1195, 1963]],
[[1071, 2351, 1127, 2119, 3312, 2999, 2149, 2452, 1025, 644, 932, 2564, 2187, 1448, 1896, 2685, 2389, 415, 661, 713, 2005, 1447, 2556, 2554, 2768, 3071, 3147, 1915, 2606, 1647, 1073, 2062, 1653, 381, 424, 440, 2427, 1215, 3144, 1401, 2518, 2407, 2332, 2428, 375, 655, 1585, 417, 64, 2798, 2810, 118, 2723, 2708, 1947, 2336, 2321, 179, 2986, 558, 1419, 1941, 1175, 2079, 2633, 3244, 3237, 261, 147, 2993, 2316, 760, 1280, 1325, 2856, 655, 153, 1621, 2098, 2620, 1659, 339, 2957, 2693, 1814, 675, 3130, 2725, 725, 1937, 1817, 1121, 76, 756, 983, 994, 300, 2438, 619, 883, 115, 598, 362, 2283, 1650, 2989, 515, 1863, 2033, 2299, 75, 304, 98, 3122, 1701, 490, 3312, 2519, 1667, 2819, 1950, 1087, 856, 2023, 3211, 3250, 2252, 2632, 625, 1046, 1320, 145, 2375, 2833, 2979, 220, 3275, 1959, 1763, 653, 1898, 1631, 3011, 1115, 1607, 2800, 92, 1340, 148, 3152, 3087, 1062, 2605, 1522, 2989, 413, 983, 1770, 260, 1420, 2236, 2251, 8, 2757, 2039, 3075, 2727, 150, 1455, 2070, 239, 528, 873, 1113, 1076, 3303, 154, 1937, 2944, 834, 596, 1254, 1359, 2347, 233, 2372, 3017, 314, 992, 661, 3232, 2959, 482, 2652, 3003, 2508, 1663, 2198, 1532, 3195, 2295, 380, 1042, 1050, 1400, 1121, 56, 2036, 147, 3314, 1884, 1370, 2144, 2963, 680, 13, 357, 1539, 949, 210, 433, 797, 524, 847, 1971, 981, 1831, 3259, 75, 1210, 19, 2299, 148, 1125, 302, 2396, 2005, 2212, 861, 2847, 1687, 280, 1649, 1509, 2082, 1369, 1918, 1970, 2790, 2188, 951, 2220, 2347, 2050, 277, 1554],
[180, 2663, 814, 3229, 3165, 1307, 364, 3020, 445, 1191, 2817, 3050, 463, 2180, 738, 294, 415, 3273, 1589, 3216, 1676, 1273, 2046, 471, 3134, 118, 1336, 1214, 3114, 225, 2165, 537, 2131, 2198, 1989, 94, 2173, 533, 1549, 1665, 2887, 386, 1461, 769, 726, 703, 2980, 2249, 2867, 1508, 2235, 507, 2884, 2596, 313, 703, 474, 3009, 2428, 1012, 1851, 2338, 2046, 655, 1985, 2969, 1478, 428, 703, 3180, 1370, 1053, 3137, 1898, 2200, 1246, 1016, 90, 3045, 1555, 1295, 858, 1270, 1277, 3136, 2448, 72, 1075, 1010, 1238, 2310, 37, 1785, 1508, 405, 2690, 2519, 284, 2507, 1437, 96, 1911, 2815, 756, 1326, 1602, 967, 428, 881, 417, 324, 1318, 1920, 2453, 341, 11, 385, 1810, 1320, 2661, 351, 547, 2099, 551, 1225, 1674, 1841, 1210, 2012, 114, 36, 107, 337, 466, 517, 2336, 1165, 2594, 898, 563, 613, 1855, 714, 2259, 2951, 2710, 1288, 1168, 3003, 1405, 2897, 2528, 1129, 184, 1627, 1792, 2191, 2326, 2605, 1165, 1952, 2075, 1278, 2860, 38, 1492, 789, 2519, 1925, 1561, 1662, 2386, 1788, 1480, 1324, 257, 2375, 1468, 507, 2334, 1526, 540, 253, 466, 644, 2432, 1771, 2168, 3153, 1091, 2151, 2480, 177, 1853, 2193, 288, 2046, 951, 1409, 3107, 2832, 2643, 1599, 571, 1412, 1055, 2363, 1015, 2949, 408, 2613, 589, 3258, 1670, 3114, 954, 1847, 40, 507, 781, 1824, 1366, 2740, 2969, 252, 358, 2715, 2814, 808, 812, 2054, 692, 232, 791, 263, 2386, 746, 2266, 1387, 508, 2461, 2959, 314, 1756, 2168, 469, 1554, 2054, 121, 62, 458, 2574, 3296, 2465, 3288, 372],
[723, 581, 904, 461, 2378, 342, 1830, 2996, 910, 1321, 2030, 2259, 795, 2411, 2424, 34, 2461, 1854, 3095, 1818, 1011, 174, 1151, 2981, 189, 1311, 1146, 437, 2922, 3019, 1695, 343, 787, 598, 1294, 3140, 523, 476, 3242, 3242, 1000, 1770, 2989, 2346, 168, 1496, 1909, 743, 597, 1130, 1726, 948, 2693, 2028, 16, 2882, 2515, 1447, 1809, 1288, 378, 1502, 899, 1637, 2241, 45, 526, 2657, 2389, 2377, 724, 2412, 1517, 373, 1356, 1200, 875, 3321, 2860, 558, 3297, 3171, 3096, 2364, 3050, 2730, 339, 529, 1201, 1138, 722, 1628, 1167, 1258, 1382, 1616, 2411, 896, 2828, 59, 469, 930, 718, 207, 110, 1821, 735, 1621, 621, 1594, 1062, 2427, 3004, 3020, 401, 2093, 125, 1227, 2002, 2520, 2238, 869, 1895, 851, 817, 2861, 179, 3104, 2378, 1927, 1470, 409, 3096, 140, 2104, 1000, 223, 1756, 2452, 1022, 2089, 1979, 3318, 995, 2092, 2441, 3184, 140, 187, 395, 3111, 27, 1504, 2966, 1323, 1693, 2517, 2612, 1505, 2889, 2489, 1824, 866, 1269, 1681, 1827, 407, 1389, 1116, 1092, 2945, 848, 1557, 1595, 3238, 2311, 2923, 2462, 274, 1955, 2463, 1342, 1731, 1454, 1364, 1628, 1570, 1476, 2938, 2954, 970, 1817, 46, 3030, 654, 739, 374, 3198, 177, 1534, 2718, 2869, 2664, 2267, 2065, 3132, 38, 442, 999, 289, 2084, 2908, 3177, 1684, 34, 3189, 1391, 1676, 2139, 2095, 1912, 517, 0, 1557, 2562, 1289, 1913, 2468, 317, 2793, 1956, 2990, 2994, 3060, 595, 866, 860, 3121, 63, 2572, 1881, 1168, 39, 309, 865, 727, 348, 2448, 395, 961, 1946, 3101, 1465, 2904, 862, 768]],
[[2651, 1652, 2254, 2887, 2120, 2620, 3273, 686, 2064, 1481, 2850, 1022, 1425, 194, 691, 1735, 457, 978, 365, 2518, 1750, 330, 1284, 3323, 2989, 435, 2756, 2568, 2991, 1261, 896, 1805, 2302, 1271, 2013, 1273, 2264, 3094, 1175, 722, 2233, 197, 1498, 1711, 1169, 1132, 2014, 1230, 1053, 1091, 545, 161, 1688, 2043, 2022, 1310, 292, 344, 2600, 2904, 758, 2494, 651, 2044, 1098, 1866, 2059, 2189, 1674, 1863, 1887, 1289, 3291, 126, 481, 2007, 2274, 1421, 2276, 2468, 968, 423, 2822, 3135, 3176, 2982, 1695, 2262, 1407, 2768, 2205, 202, 2458, 366, 2719, 2875, 2237, 217, 1032, 899, 3235, 2588, 26, 1609, 1386, 298, 986, 2333, 1911, 1444, 1171, 2001, 2218, 795, 1995, 2098, 224, 534, 211, 3131, 1947, 3033, 821, 3128, 3145, 1882, 1419, 2881, 2362, 3231, 1336, 2831, 1593, 2988, 3007, 622, 843, 2264, 2462, 1990, 2736, 2049, 1993, 2361, 1415, 3283, 2295, 2590, 2993, 701, 733, 523, 2956, 771, 1420, 3047, 116, 1638, 86, 3263, 3184, 1998, 1793, 792, 1081, 951, 1261, 647, 1796, 769, 2909, 809, 1916, 161, 2267, 1184, 1757, 357, 17, 1264, 2133, 1296, 3207, 1855, 3221, 2353, 2659, 2430, 269, 556, 1104, 748, 1144, 3139, 1651, 2804, 2903, 1466, 398, 2972, 1937, 2169, 674, 2747, 1505, 1039, 2369, 1875, 2115, 1265, 1169, 2279, 514, 152, 2626, 484, 1636, 2074, 939, 2954, 1231, 271, 10, 1096, 2838, 1132, 23, 1100, 3264, 2853, 1400, 1959, 624, 2537, 828, 3206, 778, 2224, 2916, 2704, 2497, 264, 1607, 1060, 920, 2008, 1820, 3255, 2853, 3171, 315, 1682, 989, 1760, 1165, 1921],
[276, 361, 2772, 1882, 433, 2175, 2154, 1970, 394, 1482, 2631, 1555, 1225, 1052, 1649, 2373, 611, 472, 1721, 221, 94, 2685, 1077, 2197, 3107, 462, 2275, 953, 2925, 708, 219, 5, 224, 30, 3314, 2215, 1406, 2821, 1492, 160, 3227, 1324, 2629, 291, 967, 2088, 2107, 1511, 253, 1429, 321, 590, 2920, 1692, 1161, 2233, 75, 1820, 2404, 913, 3220, 3071, 2034, 2107, 2161, 1380, 1742, 640, 881, 1574, 2017, 504, 1045, 1369, 922, 163, 554, 1351, 362, 2383, 3016, 1899, 2658, 2912, 2950, 868, 350, 2206, 315, 2532, 840, 3320, 2823, 2209, 592, 1017, 1048, 2342, 333, 109, 3293, 1671, 290, 1984, 1235, 134, 2367, 1750, 1927, 1187, 1598, 1582, 1542, 1236, 857, 774, 2381, 752, 2294, 478, 240, 2802, 2257, 837, 915, 1899, 1536, 1755, 2528, 617, 2332, 927, 2205, 3071, 2298, 652, 3308, 268, 1201, 2347, 1334, 275, 898, 3254, 376, 1783, 2377, 2719, 2590, 3250, 2998, 1533, 563, 114, 220, 2152, 491, 2777, 297, 1168, 1477, 2531, 1369, 1342, 637, 2192, 1672, 3261, 1056, 2071, 2428, 41, 2678, 964, 1599, 658, 1341, 1680, 2262, 2153, 2997, 2637, 1404, 1785, 2695, 2404, 715, 1732, 2783, 384, 656, 3012, 2878, 637, 2802, 1893, 2592, 551, 884, 2338, 2011, 812, 841, 1843, 456, 1090, 2724, 637, 137, 606, 1687, 1074, 2530, 269, 2357, 2398, 3237, 144, 147, 372, 1525, 2427, 1182, 2978, 851, 968, 122, 1540, 2380, 22, 1818, 1278, 2496, 240, 1937, 2198, 1234, 1366, 759, 1124, 2839, 1193, 2927, 1517, 190, 958, 2617, 134, 2304, 493, 2787, 1350, 575, 68, 3163, 3025],
[966, 2452, 116, 2534, 1196, 754, 3152, 1210, 1734, 970, 2156, 1172, 1741, 364, 2810, 3072, 2247, 37, 344, 3156, 590, 3234, 1310, 1828, 1654, 188, 2537, 2766, 1378, 395, 2993, 3029, 770, 2307, 697, 686, 627, 2696, 1133, 2779, 733, 1478, 1202, 180, 901, 2510, 2905, 1511, 3325, 2720, 2992, 210, 49, 2466, 3259, 1684, 2542, 290, 2588, 397, 579, 309, 1275, 2095, 530, 2230, 608, 2879, 20, 2031, 403, 155, 234, 3103, 766, 2912, 457, 202, 2701, 2776, 214, 1778, 3146, 1114, 1640, 1190, 1870, 2251, 1017, 2507, 1603, 2591, 949, 3028, 2257, 222, 3051, 879, 1185, 1764, 290, 3163, 1082, 172, 1555, 2535, 2225, 2930, 812, 694, 1759, 688, 3266, 2354, 369, 917, 903, 1897, 1154, 596, 2, 2130, 3168, 2448, 930, 993, 2230, 2156, 1960, 1882, 576, 3305, 1027, 1135, 1282, 2001, 1787, 3141, 3070, 2465, 2149, 2889, 164, 1857, 180, 1177, 3102, 1375, 2565, 1363, 2105, 3221, 536, 707, 1474, 1103, 467, 1915, 3294, 621, 1733, 817, 939, 349, 2446, 514, 2959, 3256, 2103, 959, 1006, 1446, 1625, 933, 2034, 1970, 3297, 66, 3020, 2573, 1363, 822, 370, 1550, 1695, 1048, 728, 2544, 1942, 2194, 323, 2172, 499, 2199, 1322, 2747, 2130, 578, 623, 3033, 807, 94, 2384, 1548, 1935, 1907, 809, 1350, 2853, 1169, 883, 2790, 1766, 45, 670, 739, 886, 2962, 669, 1511, 1412, 180, 2166, 3127, 471, 2346, 3126, 785, 312, 1281, 300, 336, 1189, 2833, 2363, 1690, 2966, 2874, 2130, 1315, 1108, 1457, 2350, 1598, 2809, 607, 3245, 306, 1523, 897, 1487, 1771, 1831, 2650, 54, 2877]]]

r: [[0, 0, 3327, 1, 0, 1, 1, 3328, 1, 0, 0, 3328, 0, 1, 0, 3327, 0, 1, 3328, 0, 1, 0, 3328, 0, 3328, 1, 3328, 0, 3328, 1, 0, 1, 3328, 1, 0, 3328, 1, 1, 3328, 0, 3328, 0, 3328, 0, 0, 0, 0, 1, 1, 0, 3328, 0, 0, 0, 3328, 2, 0, 3328, 0, 0, 0, 2, 3328, 1, 3328, 0, 1, 0, 1, 3328, 0, 0, 3328, 0, 0, 3327, 3328, 0, 1, 1, 1, 0, 1, 1, 3328, 3328, 1, 0, 3328, 0, 3328, 0, 1, 0, 3328, 1, 2, 3328, 0, 1, 0, 3327, 1, 3328, 3328, 0, 3328, 3328, 0, 3328, 1, 3328, 0, 0, 3328, 3328, 2, 3328, 0, 3328, 3328, 1, 3328, 1, 3328, 1, 2, 1, 3328, 1, 0, 1, 1, 0, 1, 0, 1, 3327, 0, 3328, 3328, 3327, 0, 1, 0, 1, 0, 3328, 0, 2, 3327, 0, 3328, 3328, 3328, 2, 0, 0, 0, 3327, 0, 3328, 3328, 1, 3327, 3328, 0, 1, 3328, 0, 3328, 3328, 3327, 1, 1, 2, 0, 1, 3328, 1, 3327, 0, 0, 1, 0, 0, 0, 0, 3328, 1, 3328, 3328, 0, 3328, 3328, 1, 0, 3328, 2, 1, 3328, 0, 3328, 1, 0, 0, 0, 2, 3328, 1, 2, 0, 0, 1, 3327, 3328, 0, 3328, 3328, 3328, 0, 3328, 3328, 3327, 0, 2, 0, 0, 1, 3328, 2, 0, 3328, 0, 0, 1, 0, 3328, 3328, 3327, 1, 0, 3328, 3328, 3328, 0, 1, 3328, 1, 0, 0, 1, 3328, 0, 1, 2],
[0, 3327, 1, 3328, 3328, 3327, 3328, 0, 0, 0, 1, 0, 3328, 1, 3328, 0, 0, 3327, 0, 3328, 0, 1, 3327, 1, 1, 1, 3328, 1, 0, 0, 3328, 1, 0, 3328, 0, 0, 2, 0, 0, 0, 3328, 0, 0, 0, 3328, 3328, 0, 0, 2, 3328, 0, 0, 0, 3328, 2, 3328, 0, 0, 3328, 3328, 2, 3328, 3328, 2, 2, 1, 1, 3328, 0, 3328, 0, 1, 1, 3328, 3327, 1, 3327, 0, 3328, 1, 1, 0, 2, 1, 1, 2, 0, 2, 0, 3328, 3328, 3328, 0, 3328, 0, 1, 0, 1, 3328, 0, 0, 0, 1, 0, 1, 0, 0, 3328, 3328, 0, 1, 1, 1, 0, 3328, 1, 3328, 3328, 3328, 0, 3328, 0, 1, 1, 0, 3328, 0, 0, 0, 2, 3328, 0, 1, 1, 3328, 3328, 3328, 3328, 1, 0, 3328, 3328, 0, 0, 0, 3327, 0, 1, 1, 3328, 3328, 1, 0, 3328, 0, 0, 1, 0, 1, 1, 1, 0, 1, 0, 3328, 2, 0, 1, 0, 0, 3328, 1, 1, 1, 0, 3328, 2, 0, 1, 0, 0, 0, 0, 0, 0, 0, 3328, 0, 0, 0, 3328, 0, 0, 0, 1, 1, 2, 1, 3328, 3328, 1, 0, 3328, 3328, 0, 0, 0, 3328, 0, 3328, 0, 0, 0, 3328, 0, 0, 0, 3328, 0, 3327, 1, 3328, 0, 0, 0, 1, 0, 0, 0, 0, 3328, 3327, 0, 1, 1, 1, 0, 3328, 0, 3327, 1, 3328, 0, 0, 0, 3327, 1, 0, 3328, 3327, 0, 3328, 1, 3327, 0, 3328],
[0, 2, 0, 0, 2, 3328, 0, 1, 3328, 0, 2, 3328, 3328, 0, 1, 3328, 3328, 0, 1, 0, 2, 0, 3328, 3328, 3328, 1, 1, 0, 1, 0, 1, 3328, 0, 3328, 3327, 0, 1, 2, 1, 3327, 1, 1, 1, 3327, 1, 1, 1, 3328, 0, 1, 1, 0, 0, 0, 3327, 3327, 1, 3328, 3328, 3328, 1, 2, 3327, 3328, 1, 3328, 0, 3328, 3327, 3328, 0, 0, 0, 1, 0, 0, 3328, 1, 1, 3327, 3328, 3328, 1, 3328, 3327, 1, 0, 3328, 1, 3328, 3328, 0, 0, 3328, 3328, 0, 1, 1, 3328, 0, 1, 3328, 0, 0, 1, 3328, 0, 3328, 0, 3328, 0, 3327, 1, 3327, 3327, 0, 0, 2, 0, 3327, 1, 0, 3328, 1, 1, 3327, 3328, 0, 0, 0, 1, 1, 1, 0, 0, 0, 2, 3327, 3328, 0, 3328, 0, 1, 2, 1, 3328, 3328, 0, 1, 0, 3328, 3328, 0, 0, 0, 3328, 0, 1, 0, 0, 0, 0, 0, 1, 3328, 3328, 3328, 1, 1, 3328, 1, 3328, 2, 0, 1, 2, 1, 3328, 1, 3328, 3328, 1, 0, 0, 3328, 2, 0, 1, 1, 3328, 0, 1, 3328, 0, 3328, 3328, 3328, 0, 1, 0, 0, 1, 3328, 0, 0, 1, 3327, 1, 0, 1, 3328, 0, 1, 3328, 3327, 3328, 2, 3328, 2, 3328, 1, 1, 0, 1, 0, 3328, 0, 1, 0, 1, 2, 3327, 3328, 0, 1, 0, 0, 0, 0, 0, 2, 1, 1, 3327, 3327, 3327, 3328, 1, 3327, 3328, 3328, 1, 2, 1, 1, 0]]

e1: [[0, 3328, 3327, 0, 3328, 0, 0, 1, 3328, 0, 0, 0, 1, 0, 1, 3328, 0, 0, 3327, 2, 0, 0, 1, 0, 3328, 0, 1, 2, 1, 0, 3328, 3328, 1, 3327, 3327, 3328, 0, 3328, 1, 1, 0, 3328, 3328, 0, 0, 2, 3328, 1, 3328, 1, 1, 3328, 3328, 1, 3328, 0, 3328, 3328, 0, 3328, 0, 0, 3328, 0, 0, 0, 3328, 3328, 1, 0, 3327, 0, 1, 1, 0, 0, 3328, 1, 1, 3328, 0, 0, 1, 0, 3328, 1, 1, 3328, 1, 3328, 2, 2, 2, 1, 0, 3328, 3328, 0, 2, 1, 1, 3328, 0, 1, 3327, 0, 0, 2, 1, 0, 0, 3328, 0, 3328, 3328, 3328, 0, 0, 0, 3328, 1, 3328, 2, 1, 0, 0, 2, 3328, 3328, 3328, 2, 1, 1, 0, 3328, 0, 0, 1, 3328, 1, 1, 3328, 1, 0, 1, 0, 0, 0, 0, 3328, 0, 3327, 1, 0, 0, 0, 3327, 2, 3328, 3328, 1, 2, 0, 1, 1, 0, 1, 1, 1, 1, 3328, 2, 3328, 2, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 3328, 3328, 0, 3328, 0, 0, 0, 0, 0, 1, 0, 0, 3328, 3327, 1, 0, 1, 1, 1, 3328, 3328, 1, 1, 3328, 1, 1, 0, 2, 0, 3328, 1, 1, 3327, 0, 0, 3328, 1, 0, 1, 3328, 0, 1, 3328, 1, 3327, 0, 3328, 0, 2, 0, 2, 0, 1, 3327, 0, 3328, 3328, 3328, 1, 3328, 0, 0, 1, 2, 1, 3328, 3328, 1, 3328, 0, 1, 0],
[0, 1, 3328, 0, 1, 1, 3327, 1, 3327, 1, 1, 3328, 1, 3328, 3328, 3328, 0, 0, 1, 1, 0, 2, 2, 3328, 1, 3328, 3328, 0, 3328, 1, 1, 3328, 3327, 0, 1, 3327, 3328, 1, 3328, 1, 3327, 3328, 1, 1, 3328, 3328, 0, 0, 1, 2, 1, 3328, 1, 0, 2, 0, 3328, 1, 3327, 2, 0, 0, 2, 2, 0, 3327, 3327, 3327, 2, 3328, 3328, 0, 3328, 1, 3328, 0, 0, 0, 3327, 0, 3328, 3328, 3328, 3328, 1, 3327, 1, 0, 3328, 3328, 3328, 3328, 0, 1, 1, 0, 0, 1, 3327, 0, 3328, 3328, 0, 1, 0, 2, 0, 0, 1, 0, 0, 2, 3327, 1, 0, 2, 0, 0, 0, 0, 2, 2, 3327, 3328, 3328, 1, 3328, 0, 1, 2, 3328, 1, 0, 0, 1, 0, 0, 1, 2, 3328, 1, 3327, 3328, 0, 3328, 0, 3328, 3328, 3328, 0, 3328, 1, 3327, 3328, 3328, 3328, 1, 0, 2, 3328, 0, 1, 0, 0, 1, 3328, 1, 0, 1, 0, 3328, 1, 0, 1, 0, 0, 3328, 0, 3328, 3327, 0, 1, 2, 0, 0, 0, 0, 3327, 1, 3328, 0, 3328, 0, 3327, 3328, 3328, 1, 1, 0, 0, 1, 1, 0, 3328, 3328, 0, 0, 0, 1, 1, 1, 2, 0, 1, 0, 2, 1, 1, 1, 1, 0, 0, 0, 2, 3328, 0, 3327, 0, 3327, 1, 0, 0, 0, 2, 0, 3328, 3328, 3328, 3328, 0, 0, 3328, 1, 1, 1, 3328, 1, 0, 3328, 1, 0, 3327, 3328, 0, 1, 1],
[0, 3328, 3328, 0, 1, 0, 0, 3328, 1, 0, 0, 0, 1, 1, 3328, 3328, 2, 3328, 3328, 0, 0, 1, 0, 3328, 1, 0, 1, 0, 3328, 1, 0, 3327, 3328, 3328, 0, 1, 0, 1, 1, 3327, 0, 0, 3327, 3328, 3328, 0, 0, 3328, 3328, 0, 3327, 1, 0, 2, 0, 0, 0, 2, 3327, 3328, 0, 1, 0, 0, 3328, 1, 3328, 3328, 3328, 3328, 3328, 3328, 0, 0, 1, 0, 0, 3328, 0, 3328, 3327, 1, 1, 0, 0, 0, 1, 0, 1, 0, 2, 1, 1, 0, 3327, 2, 1, 3328, 0, 2, 3328, 1, 0, 0, 3327, 3328, 3327, 0, 3327, 3328, 0, 1, 0, 0, 3328, 1, 0, 1, 1, 0, 0, 3328, 0, 1, 0, 1, 3327, 0, 1, 1, 1, 3328, 0, 3328, 3328, 3328, 0, 0, 3328, 0, 3328, 0, 0, 0, 3328, 3328, 3328, 2, 3327, 1, 0, 3328, 1, 0, 1, 3328, 1, 0, 0, 3328, 1, 1, 0, 2, 3328, 3328, 3328, 0, 3328, 1, 3328, 1, 2, 1, 0, 2, 3327, 3327, 1, 2, 1, 0, 3327, 0, 0, 1, 0, 0, 1, 1, 1, 3328, 3328, 1, 0, 3328, 3328, 3328, 3327, 3328, 3328, 3328, 3328, 0, 0, 1, 0, 0, 0, 0, 1, 0, 3328, 0, 3327, 3328, 2, 3328, 0, 3328, 0, 2, 0, 0, 0, 3328, 0, 0, 0, 0, 0, 0, 1, 3328, 3327, 2, 3328, 3328, 1, 3328, 0, 2, 0, 0, 2, 1, 0, 3328, 0, 3328, 1, 0, 3327, 1, 0, 3328]]

e2: [0, 1, 1, 3328, 0, 3328, 0, 3328, 0, 3328, 0, 1, 1, 0, 3328, 0, 3327, 3327, 1, 3328, 0, 0, 3327, 3328, 0, 0, 0, 0, 1, 0, 3328, 3328, 3327, 0, 1, 3328, 3327, 3328, 1, 3328, 0, 0, 1, 0, 1, 0, 2, 3328, 3328, 2, 0, 3328, 3328, 3328, 1, 0, 0, 2, 3327, 3328, 0, 0, 3328, 0, 3328, 0, 3328, 0, 1, 3328, 1, 1, 0, 0, 2, 1, 3327, 3328, 1, 3328, 0, 0, 0, 1, 1, 2, 1, 1, 3327, 3328, 0, 0, 0, 3328, 0, 3327, 1, 2, 3328, 3328, 3328, 0, 1, 3327, 1, 1, 0, 0, 0, 3327, 3328, 3328, 1, 0, 1, 0, 0, 0, 3328, 1, 1, 1, 1, 0, 3328, 1, 2, 1, 0, 2, 0, 3328, 1, 3328, 3328, 0, 3328, 0, 3328, 1, 0, 3328, 2, 3327, 0, 0, 1, 1, 1, 3327, 0, 1, 1, 0, 1, 0, 0, 0, 2, 0, 1, 0, 0, 1, 3328, 1, 3328, 1, 3328, 3328, 3327, 1, 0, 0, 1, 3328, 0, 1, 0, 1, 3327, 0, 3327, 1, 1, 2, 3327, 3328, 0, 0, 1, 1, 2, 3327, 0, 0, 3328, 0, 3328, 0, 0, 0, 3327, 3328, 0, 0, 3328, 3328, 0, 1, 0, 3328, 0, 3328, 1, 2, 3328, 2, 3328, 0, 0, 1, 0, 1, 1, 3328, 3328, 3328, 3328, 0, 1, 0, 1, 0, 1, 3328, 0, 0, 3328, 3328, 3327, 3328, 3328, 1, 3328, 2, 0, 1, 2, 0, 1, 3328, 0, 0, 3328, 0]
rHat: [[686, 2870, 147, 3262, 3159, 1222, 1207, 2995, 2249, 3295, 1022, 1568, 385, 1447, 642, 1705, 1821, 3053, 2730, 294, 1279, 2060, 1538, 1773, 716, 971, 3051, 1928, 1011, 607, 1083, 1598, 414, 1866, 2491, 2973, 1082, 1995, 574, 3258, 1506, 2441, 1882, 370, 1234, 1317, 101, 3057, 2495, 2307, 2624, 976, 2319, 547, 2011, 2255, 3323, 222, 349, 1635, 2221, 1814, 1184, 2256, 1648, 2204, 1284, 188, 646, 1939, 223, 2501, 2732, 844, 1319, 2892, 1937, 164, 1269, 1389, 1297, 1512, 231, 3328, 3057, 3074, 427, 2734, 328, 2379, 1716, 3188, 1454, 1944, 109, 195, 2537, 1493, 1763, 213, 2991, 3281, 603, 2651, 1717, 2652, 1159, 234, 2855, 3275, 1814, 514, 904, 1871, 897, 211, 2704, 2308, 2855, 862, 598, 1540, 331, 518, 848, 1900, 2953, 50, 582, 1628, 780, 561, 977, 2181, 1358, 2005, 841, 2567, 1585, 574, 1487, 836, 212, 963, 2111, 552, 1217, 521, 217, 909, 2238, 2724, 1643, 474, 2509, 1109, 321, 542, 1858, 2617, 3289, 352, 426, 1796, 1612, 1456, 409, 2321, 1305, 1416, 1524, 575, 1145, 1938, 146, 2746, 866, 2688, 3213, 2052, 2235, 1098, 1989, 731, 352, 2665, 2931, 2147, 1797, 2190, 117, 1602, 3009, 3133, 86, 1330, 2462, 1369, 78, 1623, 2215, 931, 1508, 2284, 288, 1826, 2758, 690, 1259, 2420, 182, 50, 307, 2796, 2876, 3140, 469, 1145, 574, 866, 1320, 2129, 909, 2287, 407, 921, 387, 2096, 1694, 3151, 759, 216, 1902, 2128, 132, 424, 3294, 1722, 331, 3004, 1117, 336, 1887, 1775, 1799, 2444, 106, 2113, 446, 1832, 790, 437, 1336, 1747, 716, 1499],
[1139, 1269, 364, 2358, 888, 1140, 2032, 1827, 1827, 1980, 1179, 1062, 765, 1125, 1792, 1287, 1787, 2419, 2297, 2020, 358, 82, 776, 1074, 1492, 947, 1073, 2663, 133, 1332, 1500, 2401, 411, 684, 272, 2463, 1249, 878, 2765, 2292, 1587, 1971, 2917, 1654, 2480, 1395, 619, 2210, 14, 1469, 2403, 1714, 2508, 1702, 1201, 3043, 233, 1558, 732, 1298, 1455, 3101, 1699, 916, 718, 1989, 3284, 361, 1573, 2155, 752, 468, 2806, 2746, 2507, 2646, 288, 2542, 807, 2978, 2016, 1740, 1805, 1412, 2472, 2107, 267, 809, 665, 2095, 1522, 892, 1471, 2937, 2020, 2830, 36, 731, 2945, 1444, 1367, 3174, 2862, 131, 316, 1044, 2821, 341, 2164, 209, 2431, 1319, 3134, 297, 2838, 1617, 1429, 597, 1493, 2484, 2877, 1144, 1294, 2056, 741, 965, 873, 3075, 1326, 2056, 2551, 690, 390, 1879, 2210, 24, 2111, 2170, 3325, 2664, 2735, 1586, 1147, 846, 483, 888, 1801, 1002, 165, 2569, 2517, 2586, 2364, 165, 640, 1283, 2103, 2417, 2561, 1778, 2308, 2060, 1181, 3290, 2737, 1187, 2772, 1779, 2131, 2122, 2434, 3293, 3150, 2796, 2390, 2490, 2011, 2899, 2490, 2738, 2466, 2304, 2781, 1952, 4, 1399, 1285, 2771, 1122, 2172, 1000, 1253, 1899, 2928, 1836, 1019, 585, 2751, 288, 1072, 607, 1075, 846, 2323, 3317, 3248, 1969, 2062, 2879, 2967, 2641, 442, 1579, 1673, 250, 2075, 2023, 540, 1819, 688, 1393, 2153, 1043, 325, 278, 2313, 730, 467, 0, 1344, 1961, 2027, 442, 910, 514, 2400, 2666, 270, 1364, 2477, 2397, 2644, 1198, 2579, 3126, 2335, 804, 686, 1406, 2096, 168, 2903, 2395, 2277, 1414, 1941],
[3022, 3246, 2122, 1725, 1400, 2270, 227, 1537, 2513, 2783, 2623, 1702, 336, 1561, 1219, 2282, 709, 2746, 1664, 1575, 2625, 1490, 2179, 2681, 1325, 1600, 1587, 256, 1564, 1013, 551, 1338, 755, 437, 2792, 2579, 1328, 2406, 2628, 2888, 2425, 2847, 922, 1513, 2224, 1839, 3213, 2255, 630, 2707, 1301, 1868, 148, 1090, 2360, 2483, 2982, 3172, 3014, 3009, 1707, 578, 3113, 2504, 3292, 2984, 16, 404, 2882, 2665, 3319, 2097, 694, 3175, 729, 2050, 921, 3068, 548, 1367, 1580, 3304, 197, 405, 1851, 3052, 1376, 2613, 603, 1304, 3312, 1327, 1995, 572, 1093, 202, 1865, 38, 2297, 305, 1397, 885, 1967, 2441, 1307, 239, 1059, 2308, 811, 777, 1156, 909, 1988, 2488, 3180, 3158, 2041, 2813, 158, 1367, 1905, 1279, 3084, 464, 2306, 1550, 1720, 1053, 2724, 1259, 2946, 338, 1194, 126, 3149, 1075, 944, 2115, 41, 1242, 2433, 2100, 1711, 358, 2170, 1739, 717, 234, 1498, 874, 2728, 3136, 2918, 584, 1383, 1508, 1202, 2300, 1236, 2179, 1958, 759, 1510, 350, 2771, 3184, 2331, 471, 1739, 2205, 2679, 2209, 2235, 2122, 3128, 2641, 3226, 3, 852, 1347, 1218, 2839, 2977, 2789, 1371, 2538, 2742, 369, 1412, 2471, 1493, 486, 2454, 1877, 60, 1919, 1758, 2167, 982, 1761, 352, 643, 1152, 3270, 1321, 2523, 2368, 2615, 514, 272, 1489, 2406, 1130, 1601, 1236, 2617, 2768, 3320, 384, 294, 2878, 1025, 1193, 1889, 1201, 1948, 3313, 2800, 1780, 2108, 2900, 1220, 860, 2818, 2017, 1697, 872, 1780, 1369, 2459, 806, 2305, 295, 240, 3065, 492, 752, 664, 608, 940, 965, 854, 470, 561, 580, 2292]]

BHat * rHat: [[3180, 200, 1027, 305, 2077, 3315, 928, 1920, 2199, 1675, 136, 2064, 1757, 436, 2372, 1758, 1695, 523, 786, 1394, 606, 457, 3031, 3261, 218, 218, 1028, 2791, 417, 2055, 1933, 2512, 1229, 3316, 290, 2483, 607, 2162, 504, 1140, 2923, 2571, 2137, 2484, 1634, 548, 1222, 1955, 2188, 119, 380, 2972, 371, 1928, 2301, 1406, 1270, 2086, 1331, 1361, 2549, 1653, 207, 2479, 1636, 3006, 1458, 313, 2280, 1115, 2134, 1143, 756, 1339, 2645, 1243, 2242, 2023, 256, 3179, 1671, 1767, 1455, 3038, 3149, 979, 1776, 1584, 2930, 2939, 1786, 2354, 1046, 2312, 20, 1380, 1515, 1924, 1770, 621, 1859, 1810, 1826, 906, 2314, 3261, 1814, 540, 1245, 2998, 1432, 616, 1647, 374, 2352, 2, 52, 664, 2675, 2822, 2766, 1024, 564, 1200, 1089, 1918, 1301, 782, 2193, 1926, 348, 2432, 1026, 2377, 2398, 941, 3023, 2388, 687, 1494, 229, 1161, 3261, 680, 1196, 3052, 2782, 1944, 3313, 532, 1276, 3142, 90, 3172, 982, 29, 2865, 3047, 1103, 1841, 1644, 2557, 2361, 1495, 1324, 1634, 1636, 1789, 2657, 645, 670, 1129, 2909, 1179, 2013, 152, 2908, 2922, 384, 1642, 1514, 3022, 3128, 3271, 2504, 1542, 2410, 2540, 496, 94, 1875, 682, 1367, 1007, 3019, 1292, 3149, 1881, 1220, 1308, 1725, 1044, 608, 2901, 1849, 2334, 1526, 1066, 248, 465, 882, 1431, 2126, 1380, 3267, 974, 1091, 2936, 2940, 305, 3127, 2955, 2181, 1755, 2294, 2789, 2372, 1131, 2716, 1829, 550, 2022, 594, 2516, 1723, 31, 1041, 1345, 336, 545, 1759, 846, 3119, 1230, 2632, 1507, 1849, 1452, 868, 137, 1920, 444, 2047, 3106, 1281, 1903],
[2785, 3122, 762, 2696, 1716, 1470, 536, 2583, 3211, 2866, 1305, 2567, 2741, 2096, 35, 1744, 2725, 1031, 3087, 1062, 2322, 1763, 3231, 989, 2949, 3097, 1688, 480, 1939, 2761, 718, 1185, 1423, 285, 1677, 406, 1596, 1062, 2585, 2500, 151, 372, 1609, 2541, 547, 1092, 1239, 2901, 1642, 524, 1999, 1831, 578, 39, 3245, 2595, 837, 1520, 82, 1638, 2332, 316, 475, 3163, 3328, 2423, 1562, 1888, 412, 1389, 1376, 490, 40, 3080, 847, 1294, 1133, 1691, 351, 912, 1143, 976, 2034, 1982, 2648, 2330, 514, 1847, 3089, 1477, 955, 827, 2711, 485, 486, 384, 2265, 715, 204, 2427, 1189, 2760, 155, 1036, 509, 2792, 1758, 2622, 2744, 1089, 1967, 2790, 2917, 172, 2998, 1928, 2224, 605, 877, 1045, 2370, 2673, 36, 1210, 1511, 1525, 2295, 2534, 1940, 2250, 1632, 238, 2283, 2064, 3253, 2696, 2893, 681, 2131, 733, 2392, 1210, 907, 49, 1216, 1166, 2488, 2659, 259, 2585, 2568, 1648, 1241, 1213, 2237, 693, 2917, 3217, 2922, 716, 2489, 611, 208, 1391, 3089, 1894, 2264, 171, 3321, 925, 2251, 552, 1978, 1662, 2797, 1727, 519, 2389, 1892, 1997, 596, 361, 1516, 2679, 2509, 884, 807, 9, 1994, 3318, 1720, 1341, 730, 3101, 3196, 3243, 2462, 1975, 2698, 1385, 1173, 1457, 2465, 2427, 3303, 1997, 1567, 2121, 2071, 2012, 758, 955, 86, 3068, 2395, 16, 1771, 1068, 2819, 570, 384, 2842, 2514, 3145, 2197, 1437, 929, 2592, 2964, 190, 2937, 690, 1887, 2458, 3216, 1610, 330, 1464, 2851, 1381, 1894, 2026, 971, 3236, 1141, 1894, 2126, 2760, 3058, 3111, 2838, 251, 2877, 290, 1621, 1178],
[1822, 1407, 1469, 2389, 3194, 1635, 1631, 2494, 2381, 3227, 2278, 3060, 794, 2225, 204, 1726, 587, 2679, 1766, 705, 385, 3052, 1591, 628, 1844, 258, 305, 1434, 1080, 2867, 1526, 2706, 2730, 1409, 427, 1587, 2178, 855, 3288, 939, 1695, 2582, 763, 422, 3130, 1252, 1967, 2057, 2038, 1847, 1747, 2712, 3066, 2710, 3099, 1605, 1960, 747, 1344, 532, 403, 2103, 250, 815, 774, 2558, 2296, 1514, 1224, 2987, 2639, 2673, 1867, 2485, 1376, 124, 672, 2692, 1768, 106, 1471, 444, 2681, 2148, 599, 3151, 1918, 1324, 172, 2365, 3177, 1490, 3235, 1963, 3159, 2033, 3186, 1164, 3261, 2411, 1348, 2896, 1331, 841, 2281, 2556, 1538, 2089, 2000, 1913, 1981, 2609, 349, 1026, 3073, 2897, 1422, 3053, 86, 251, 634, 635, 1927, 1457, 1459, 621, 566, 893, 2888, 864, 53, 1366, 686, 2956, 2954, 3302, 3209, 876, 1478, 3274, 1038, 2875, 1522, 1084, 1615, 2336, 2842, 2167, 2911, 1637, 1523, 2654, 1471, 42, 2316, 3187, 2943, 2349, 212, 1984, 2037, 96, 3249, 2506, 2598, 3088, 1351, 295, 2022, 448, 2120, 2462, 2219, 1320, 2704, 35, 1097, 455, 2664, 2429, 838, 1221, 805, 118, 75, 2166, 1954, 642, 2574, 1150, 375, 1696, 947, 3229, 3210, 1093, 2193, 1828, 3286, 2825, 2103, 488, 3137, 1458, 2025, 2031, 1925, 720, 2065, 2295, 2846, 908, 2532, 1204, 1478, 1188, 611, 3077, 1400, 2104, 318, 3101, 1916, 807, 2458, 2150, 579, 2184, 1548, 2106, 149, 3054, 226, 2968, 2387, 3093, 932, 2701, 818, 1941, 2663, 1253, 2456, 676, 430, 1370, 476, 2846, 890, 2037, 2575, 2752, 1531, 819, 1075, 887]]
NTTInverse(BHat * rHat): [[1219, 2403, 179, 1572, 1750, 1202, 2338, 2213, 3317, 2657, 2418, 1205, 1444, 3043, 406, 722, 3254, 3281, 572, 2979, 791, 732, 248, 2916, 2922, 1481, 663, 1691, 1077, 978, 288, 425, 263, 3223, 752, 2083, 1991, 1323, 2949, 1791, 1928, 1139, 1763, 1391, 40, 2901, 1462, 827, 875, 1895, 3170, 1437, 252, 606, 2846, 2145, 3260, 320, 787, 1304, 956, 2586, 1571, 115, 3225, 164, 1926, 2832, 101, 1529, 333, 2301, 3270, 2770, 1674, 923, 363, 679, 2866, 1866, 2969, 1542, 1978, 3096, 1595, 3240, 3098, 2012, 642, 42, 560, 1927, 1507, 748, 578, 179, 2750, 2588, 518, 854, 2718, 1019, 455, 954, 943, 2785, 1879, 1902, 453, 1334, 252, 3202, 2870, 1206, 3213, 812, 2937, 2453, 1941, 1687, 3041, 2626, 2939, 3126, 2483, 1845, 2360, 1354, 100, 1741, 565, 3190, 427, 695, 1185, 803, 1248, 508, 1584, 1180, 1378, 2264, 2647, 2870, 2342, 2351, 2696, 951, 2777, 2778, 2624, 1470, 2381, 154, 2845, 2659, 2064, 1867, 1820, 1136, 1262, 245, 1304, 1499, 1858, 1097, 3217, 2572, 1560, 1414, 738, 1125, 432, 2426, 1402, 3304, 2756, 970, 2482, 885, 1210, 1276, 722, 2028, 2132, 2507, 1783, 1827, 1747, 2295, 35, 2539, 328, 614, 366, 393, 487, 2218, 3009, 1418, 244, 1632, 726, 3057, 1767, 0, 3155, 1696, 2766, 2162, 1594, 2496, 784, 1674, 1776, 846, 2013, 2225, 1149, 2637, 2039, 1359, 2157, 1702, 515, 2283, 213, 1987, 32, 1088, 1223, 1416, 1010, 1030, 385, 1207, 1627, 2274, 726, 1907, 1707, 1705, 591, 688, 644, 2421, 34, 24, 2931, 125, 1547, 1616, 467, 1415, 1246, 2760],
[2186, 2520, 1230, 906, 2777, 2834, 1273, 2176, 2822, 1460, 947, 2903, 718, 1956, 423, 371, 1401, 1656, 1009, 2089, 2732, 2288, 1094, 584, 2750, 1371, 2972, 1728, 1302, 409, 1629, 2776, 1314, 1253, 2693, 2543, 2522, 2427, 1183, 1794, 2993, 1110, 1325, 1102, 1372, 2668, 1604, 2197, 1812, 1268, 2999, 921, 1364, 2881, 1171, 2638, 1821, 3217, 1287, 711, 2649, 2010, 603, 2318, 1990, 2658, 1643, 1112, 299, 1744, 3149, 2561, 1144, 2933, 2755, 3023, 3328, 1675, 2876, 2999, 2121, 1630, 2516, 154, 267, 2979, 2639, 1920, 1368, 1595, 2959, 1488, 2021, 285, 1713, 703, 930, 2313, 2584, 833, 228, 2558, 2226, 2459, 2422, 1226, 1300, 1834, 2949, 1294, 2583, 2408, 1721, 3140, 2556, 1521, 423, 2604, 1947, 21, 278, 497, 2338, 2850, 860, 780, 1264, 1598, 1553, 1897, 2765, 1032, 1834, 431, 1091, 2802, 1141, 1021, 1072, 3297, 2905, 2164, 2063, 1397, 1949, 3257, 1297, 2051, 2502, 2839, 2762, 2608, 1736, 109, 2139, 1833, 2783, 2944, 3052, 1429, 30, 348, 2197, 1990, 3050, 1920, 199, 1714, 1092, 1722, 221, 802, 3189, 346, 2042, 2301, 218, 903, 2707, 986, 1402, 544, 3288, 2528, 1381, 1116, 3097, 610, 779, 2164, 3229, 1477, 851, 1103, 1555, 1392, 1346, 1823, 1197, 2396, 3269, 1029, 50, 711, 994, 2963, 987, 1346, 322, 1604, 3221, 2994, 2170, 2706, 1104, 1541, 93, 2183, 2488, 341, 2949, 1290, 1211, 1082, 1474, 2387, 2950, 1943, 1610, 2646, 2700, 3283, 2804, 1377, 2404, 717, 379, 1653, 2598, 836, 3097, 2172, 1962, 1763, 2269, 795, 2804, 1332, 2216, 2237, 1159, 1921, 1063, 1226, 819, 1759],
[782, 2928, 1475, 97, 2729, 1954, 41, 1553, 2326, 2219, 3235, 2151, 222, 2730, 2804, 386, 2172, 3050, 2951, 940, 3248, 3235, 2019, 2918, 2072, 452, 2659, 34, 2760, 3028, 471, 152, 3066, 2937, 1211, 1626, 250, 2621, 1606, 958, 341, 3179, 1202, 2522, 1832, 2983, 1091, 1767, 518, 3164, 621, 2342, 799, 1750, 6, 786, 2426, 2303, 1882, 1270, 1091, 502, 2253, 764, 1564, 291, 955, 566, 1686, 312, 330, 2542, 2355, 2455, 887, 3163, 3151, 2534, 947, 3152, 1512, 3181, 990, 2316, 577, 3013, 2265, 1779, 1805, 3078, 2911, 1814, 1241, 344, 763, 1021, 1011, 2549, 434, 995, 402, 1407, 1882, 1280, 2091, 2606, 2902, 2824, 2236, 1627, 883, 358, 3203, 1818, 2073, 3257, 1682, 1194, 3247, 161, 1913, 3207, 25, 2169, 1753, 2878, 2034, 2267, 998, 354, 581, 2926, 965, 1467, 1498, 260, 2576, 1644, 225, 2487, 1797, 261, 1962, 434, 374, 2214, 2163, 598, 2035, 827, 1936, 1796, 2601, 2568, 2195, 2413, 2534, 831, 1925, 399, 386, 2456, 2, 963, 1670, 618, 2960, 765, 600, 2714, 3295, 1411, 794, 18, 90, 3170, 2844, 3200, 1724, 1369, 1406, 1608, 3056, 2044, 1699, 2519, 1, 1560, 170, 3275, 2213, 2437, 3048, 3208, 999, 1122, 1084, 1800, 2394, 1778, 316, 758, 2108, 306, 236, 1003, 345, 1486, 3072, 1441, 262, 3148, 2176, 2304, 2734, 2383, 175, 356, 2805, 13, 1530, 553, 991, 222, 449, 514, 1986, 1337, 3032, 1672, 98, 168, 1935, 2121, 945, 1406, 804, 1174, 202, 2176, 1343, 1673, 1694, 63, 814, 1440, 2209, 831, 411, 2401, 1427, 2287, 1926, 3295, 1551, 2910]]
u = NTTInverse(BHat * rHat) + e1: [[1219, 2402, 177, 1572, 1749, 1202, 2338, 2214, 3316, 2657, 2418, 1205, 1445, 3043, 407, 721, 3254, 3281, 570, 2981, 791, 732, 249, 2916, 2921, 1481, 664, 1693, 1078, 978, 287, 424, 264, 3221, 750, 2082, 1991, 1322, 2950, 1792, 1928, 1138, 1762, 1391, 40, 2903, 1461, 828, 874, 1896, 3171, 1436, 251, 607, 2845, 2145, 3259, 319, 787, 1303, 956, 2586, 1570, 115, 3225, 164, 1925, 2831, 102, 1529, 331, 2301, 3271, 2771, 1674, 923, 362, 680, 2867, 1865, 2969, 1542, 1979, 3096, 1594, 3241, 3099, 2011, 643, 41, 562, 1929, 1509, 749, 578, 178, 2749, 2588, 520, 855, 2719, 1018, 455, 955, 941, 2785, 1879, 1904, 454, 1334, 252, 3201, 2870, 1205, 3212, 811, 2937, 2453, 1941, 1686, 3042, 2625, 2941, 3127, 2483, 1845, 2362, 1353, 99, 1740, 567, 3191, 428, 695, 1184, 803, 1248, 509, 1583, 1181, 1379, 2263, 2648, 2870, 2343, 2351, 2696, 951, 2777, 2777, 2624, 1468, 2382, 154, 2845, 2659, 2062, 1869, 1819, 1135, 1263, 247, 1304, 1500, 1859, 1097, 3218, 2573, 1561, 1415, 737, 1127, 431, 2428, 1402, 3304, 2756, 970, 2482, 886, 1211, 1276, 722, 2029, 2131, 2506, 1783, 1826, 1747, 2295, 35, 2539, 328, 615, 366, 393, 486, 2216, 3010, 1418, 245, 1633, 727, 3056, 1766, 1, 3156, 1695, 2767, 2163, 1594, 2498, 784, 1673, 1777, 847, 2011, 2225, 1149, 2636, 2040, 1359, 2158, 1701, 515, 2284, 212, 1988, 30, 1088, 1222, 1416, 1012, 1030, 387, 1207, 1628, 2272, 726, 1906, 1706, 1704, 592, 687, 644, 2421, 35, 26, 2932, 124, 1546, 1617, 466, 1415, 1247, 2760],
[2186, 2521, 1229, 906, 2778, 2835, 1271, 2177, 2820, 1461, 948, 2902, 719, 1955, 422, 370, 1401, 1656, 1010, 2090, 2732, 2290, 1096, 583, 2751, 1370, 2971, 1728, 1301, 410, 1630, 2775, 1312, 1253, 2694, 2541, 2521, 2428, 1182, 1795, 2991, 1109, 1326, 1103, 1371, 2667, 1604, 2197, 1813, 1270, 3000, 920, 1365, 2881, 1173, 2638, 1820, 3218, 1285, 713, 2649, 2010, 605, 2320, 1990, 2656, 1641, 1110, 301, 1743, 3148, 2561, 1143, 2934, 2754, 3023, 3328, 1675, 2874, 2999, 2120, 1629, 2515, 153, 268, 2977, 2640, 1920, 1367, 1594, 2958, 1487, 2021, 286, 1714, 703, 930, 2314, 2582, 833, 227, 2557, 2226, 2460, 2422, 1228, 1300, 1834, 2950, 1294, 2583, 2410, 1719, 3141, 2556, 1523, 423, 2604, 1947, 21, 280, 499, 2336, 2849, 859, 781, 1263, 1598, 1554, 1899, 2764, 1033, 1834, 431, 1092, 2802, 1141, 1022, 1074, 3296, 2906, 2162, 2062, 1397, 1948, 3257, 1296, 2050, 2501, 2839, 2761, 2609, 1734, 108, 2138, 1832, 2784, 2944, 3054, 1428, 30, 349, 2197, 1990, 3051, 1919, 200, 1714, 1093, 1722, 220, 803, 3189, 347, 2042, 2301, 217, 903, 2706, 984, 1402, 545, 3290, 2528, 1381, 1116, 3097, 608, 780, 2163, 3229, 1476, 851, 1101, 1554, 1391, 1347, 1824, 1197, 2396, 3270, 1030, 50, 710, 993, 2963, 987, 1346, 323, 1605, 3222, 2996, 2170, 2707, 1104, 1543, 94, 2184, 2489, 342, 2949, 1290, 1211, 1084, 1473, 2387, 2948, 1943, 1608, 2647, 2700, 3283, 2804, 1379, 2404, 716, 378, 1652, 2597, 836, 3097, 2171, 1963, 1764, 2270, 794, 2805, 1332, 2215, 2238, 1159, 1919, 1062, 1226, 820, 1760],
[782, 2927, 1474, 97, 2730, 1954, 41, 1552, 2327, 2219, 3235, 2151, 223, 2731, 2803, 385, 2174, 3049, 2950, 940, 3248, 3236, 2019, 2917, 2073, 452, 2660, 34, 2759, 3029, 471, 150, 3065, 2936, 1211, 1627, 250, 2622, 1607, 956, 341, 3179, 1200, 2521, 1831, 2983, 1091, 1766, 517, 3164, 619, 2343, 799, 1752, 6, 786, 2426, 2305, 1880, 1269, 1091, 503, 2253, 764, 1563, 292, 954, 565, 1685, 311, 329, 2541, 2355, 2455, 888, 3163, 3151, 2533, 947, 3151, 1510, 3182, 991, 2316, 577, 3013, 2266, 1779, 1806, 3078, 2913, 1815, 1242, 344, 761, 1023, 1012, 2548, 434, 997, 401, 1408, 1882, 1280, 2089, 2605, 2900, 2824, 2234, 1626, 883, 359, 3203, 1818, 2072, 3258, 1682, 1195, 3248, 161, 1913, 3206, 25, 2170, 1753, 2879, 2032, 2267, 999, 355, 582, 2925, 965, 1466, 1497, 259, 2576, 1644, 224, 2487, 1796, 261, 1962, 434, 373, 2213, 2162, 600, 2033, 828, 1936, 1795, 2602, 2568, 2196, 2412, 2535, 831, 1925, 398, 387, 2457, 2, 965, 1669, 617, 2959, 765, 599, 2715, 3294, 1412, 796, 19, 90, 3172, 2842, 3198, 1725, 1371, 1407, 1608, 3054, 2044, 1699, 2520, 1, 1560, 171, 3276, 2214, 2436, 3047, 3209, 999, 1121, 1083, 1799, 2392, 1777, 315, 757, 2107, 306, 236, 1004, 345, 1486, 3072, 1441, 263, 3148, 2175, 2304, 2732, 2382, 177, 355, 2805, 12, 1530, 555, 991, 222, 449, 513, 1986, 1337, 3032, 1672, 98, 168, 1936, 2120, 943, 1408, 803, 1173, 203, 2175, 1343, 1675, 1694, 63, 816, 1441, 2209, 830, 411, 2400, 1428, 2287, 1924, 3296, 1551, 2909]]

mu: [0, 0, 0, 0, 0, 0, 1665, 0, 0, 1665, 1665, 1665, 1665, 1665, 0, 1665, 1665, 0, 1665, 1665, 1665, 0, 0, 1665, 0, 1665, 0, 1665, 0, 0, 1665, 1665, 1665, 0, 0, 0, 0, 0, 1665, 1665, 0, 1665, 1665, 1665, 0, 1665, 1665, 0, 0, 0, 1665, 1665, 1665, 0, 0, 1665, 1665, 1665, 1665, 0, 0, 1665, 0, 1665, 1665, 0, 1665, 1665, 1665, 1665, 0, 0, 1665, 0, 0, 1665, 0, 0, 1665, 0, 0, 0, 0, 0, 1665, 0, 1665, 1665, 0, 0, 0, 1665, 0, 0, 1665, 1665, 1665, 1665, 1665, 1665, 1665, 1665, 0, 0, 1665, 0, 1665, 1665, 1665, 0, 0, 1665, 1665, 0, 1665, 1665, 1665, 1665, 0, 0, 1665, 0, 0, 1665, 0, 0, 0, 1665, 1665, 1665, 0, 1665, 1665, 1665, 0, 1665, 1665, 0, 0, 0, 1665, 1665, 1665, 0, 1665, 1665, 1665, 0, 1665, 0, 1665, 0, 0, 1665, 0, 1665, 0, 0, 1665, 0, 0, 1665, 0, 0, 0, 0, 1665, 0, 1665, 0, 0, 1665, 1665, 0, 0, 0, 0, 0, 0, 0, 0, 1665, 0, 1665, 1665, 1665, 0, 0, 1665, 1665, 1665, 1665, 1665, 1665, 0, 0, 1665, 0, 0, 1665, 1665, 1665, 1665, 1665, 1665, 0, 1665, 1665, 0, 0, 1665, 1665, 0, 1665, 1665, 1665, 0, 1665, 0, 0, 0, 1665, 1665, 1665, 0, 0, 0, 1665, 1665, 0, 0, 1665, 1665, 1665, 0, 0, 0, 0, 0, 1665, 0, 0, 1665, 0, 1665, 0, 0, 1665, 0, 0, 1665, 0, 0, 0, 1665, 1665]
tHat^T * rHat: [2789, 2045, 1564, 2584, 3322, 2870, 1233, 1876, 2979, 99, 785, 711, 1339, 1869, 2114, 320, 2129, 1008, 1461, 2283, 2195, 2360, 3197, 1966, 1521, 753, 1276, 517, 424, 868, 1927, 1774, 1601, 2598, 1829, 629, 2540, 1814, 1493, 2873, 3035, 2859, 895, 2067, 3299, 2768, 1941, 1520, 240, 1276, 512, 2015, 544, 15, 688, 734, 2091, 268, 2053, 2375, 1177, 709, 3186, 1700, 318, 3203, 2278, 2672, 1175, 2297, 1389, 158, 1482, 917, 242, 2820, 1382, 2339, 2476, 2319, 1760, 2836, 2764, 2992, 216, 689, 1957, 2518, 2976, 2274, 98, 1727, 2169, 3121, 2990, 1893, 1692, 848, 383, 1378, 1271, 2513, 2877, 2542, 1915, 2043, 3033, 284, 707, 229, 267, 380, 426, 2922, 2909, 230, 2463, 898, 1788, 74, 256, 868, 2214, 934, 685, 2176, 1903, 1400, 215, 66, 657, 170, 3173, 2434, 2087, 1473, 3008, 2858, 2109, 1604, 2264, 2651, 510, 1352, 104, 1602, 59, 2314, 1218, 1363, 2972, 2477, 902, 2273, 488, 1072, 1058, 3154, 746, 558, 258, 443, 1786, 3161, 2115, 1871, 1425, 2081, 2524, 2885, 253, 324, 1256, 1084, 1800, 2570, 275, 460, 1156, 1462, 231, 1611, 1716, 2522, 1639, 779, 931, 1927, 261, 1778, 1443, 3317, 2091, 1834, 2910, 1029, 2727, 797, 3269, 2356, 2600, 2977, 2224, 1866, 245, 2342, 3084, 860, 1473, 1660, 609, 1777, 1428, 1869, 834, 10, 2054, 2642, 3223, 677, 3042, 92, 1272, 1213, 2508, 2843, 897, 2437, 2623, 2634, 1795, 1867, 2063, 2488, 2064, 724, 2842, 3083, 2745, 467, 1319, 1891, 996, 2271, 1164, 2569, 1876, 2238, 1001, 3311, 234, 1026, 1130, 2514, 1888, 1091]
NTTInverse(tHat^T * rHat): [3165, 661, 2894, 3181, 3096, 2553, 1089, 1146, 3139, 2327, 3046, 3041, 452, 1230, 2199, 2491, 528, 1887, 2834, 1825, 832, 2627, 1113, 3176, 3139, 2533, 2112, 2531, 1676, 1186, 2610, 1289, 1477, 2822, 464, 602, 1339, 3167, 1847, 316, 1390, 2311, 3093, 1315, 1918, 766, 2377, 3009, 723, 2400, 30, 1252, 2054, 2582, 436, 1263, 2846, 2330, 3219, 2495, 2253, 1201, 861, 735, 996, 1111, 2904, 2551, 897, 1300, 1176, 214, 3062, 1450, 1077, 447, 1730, 2089, 630, 2270, 1229, 351, 1674, 1326, 2471, 848, 701, 2381, 2299, 3320, 1583, 1231, 1877, 1331, 1017, 2314, 2093, 873, 3137, 2734, 1795, 1367, 2729, 638, 582, 1662, 400, 199, 1689, 1784, 3269, 1785, 596, 104, 2156, 204, 2402, 656, 286, 2706, 2893, 1424, 2240, 1816, 303, 1620, 1289, 167, 2248, 3182, 562, 89, 893, 1986, 499, 2277, 1993, 78, 1266, 3272, 1875, 3067, 1454, 2343, 2202, 534, 1572, 2758, 2112, 384, 495, 15, 1280, 2288, 2877, 2342, 2335, 741, 1122, 2954, 2666, 3010, 901, 1307, 2660, 1862, 1392, 554, 2279, 1542, 1615, 2999, 1401, 2408, 84, 2938, 126, 1729, 171, 2937, 1212, 133, 892, 491, 1078, 2304, 1502, 874, 73, 1636, 221, 3114, 1329, 63, 304, 628, 580, 2373, 2023, 2080, 1390, 2119, 1863, 2834, 2166, 1609, 2882, 2462, 931, 1521, 716, 354, 499, 468, 737, 1394, 2695, 149, 2627, 2563, 1125, 1565, 572, 1112, 800, 1565, 1672, 536, 2108, 1287, 1997, 3073, 1800, 1279, 817, 197, 1641, 1692, 1627, 54, 3190, 1284, 2030, 1810, 545, 162, 1439, 915, 2065, 1856, 1942, 2995, 2801, 3128, 2244, 1673]
e2 + mu: [0, 1, 1, 3328, 0, 3328, 1665, 3328, 0, 1664, 1665, 1666, 1666, 1665, 3328, 1665, 1663, 3327, 1666, 1664, 1665, 0, 3327, 1664, 0, 1665, 0, 1665, 1, 0, 1664, 1664, 1663, 0, 1, 3328, 3327, 3328, 1666, 1664, 0, 1665, 1666, 1665, 1, 1665, 1667, 3328, 3328, 2, 1665, 1664, 1664, 3328, 1, 1665, 1665, 1667, 1663, 3328, 0, 1665, 3328, 1665, 1664, 0, 1664, 1665, 1666, 1664, 1, 1, 1665, 0, 2, 1666, 3327, 3328, 1666, 3328, 0, 0, 0, 1, 1666, 2, 1666, 1666, 3327, 3328, 0, 1665, 0, 3328, 1665, 1663, 1666, 1667, 1664, 1664, 1664, 1665, 1, 3327, 1666, 1, 1665, 1665, 1665, 3327, 3328, 1664, 1666, 0, 1666, 1665, 1665, 1665, 3328, 1, 1666, 1, 1, 1665, 3328, 1, 2, 1666, 1665, 1667, 0, 1664, 1666, 1664, 3328, 1665, 1664, 0, 3328, 1, 1665, 1664, 1667, 3327, 1665, 1665, 1666, 1, 1666, 3327, 1665, 1, 1, 1665, 1, 1665, 0, 0, 1667, 0, 1, 1665, 0, 1, 3328, 1, 1664, 1, 1664, 3328, 3327, 1666, 1665, 0, 1, 3328, 0, 1, 0, 1, 3327, 1665, 3327, 1666, 1666, 1667, 3327, 3328, 1665, 1665, 1666, 1666, 1667, 1663, 0, 0, 1664, 0, 3328, 1665, 1665, 1665, 1663, 1664, 1665, 0, 1664, 1664, 0, 1, 1665, 1664, 0, 1664, 1666, 1667, 3328, 1667, 3328, 0, 0, 1666, 1665, 1666, 1, 3328, 3328, 1664, 1664, 0, 1, 1665, 1666, 1665, 1, 3328, 0, 0, 3328, 1664, 3327, 3328, 1664, 1, 1664, 2, 0, 1666, 2, 0, 1666, 3328, 0, 0, 1664, 1665]
v = NTTInverse(tHat^T * rHat) + e2 + mu: [3165, 662, 2895, 3180, 3096, 2552, 2754, 1145, 3139, 662, 1382, 1378, 2118, 2895, 2198, 827, 2191, 1885, 1171, 160, 2497, 2627, 1111, 1511, 3139, 869, 2112, 867, 1677, 1186, 945, 2953, 3140, 2822, 465, 601, 1337, 3166, 184, 1980, 1390, 647, 1430, 2980, 1919, 2431, 715, 3008, 722, 2402, 1695, 2916, 389, 2581, 437, 2928, 1182, 668, 1553, 2494, 2253, 2866, 860, 2400, 2660, 1111, 1239, 887, 2563, 2964, 1177, 215, 1398, 1450, 1079, 2113, 1728, 2088, 2296, 2269, 1229, 351, 1674, 1327, 808, 850, 2367, 718, 2297, 3319, 1583, 2896, 1877, 1330, 2682, 648, 430, 2540, 1472, 1069, 130, 3032, 2730, 636, 2248, 1663, 2065, 1864, 25, 1782, 3268, 120, 2262, 104, 493, 1869, 738, 2321, 285, 2707, 1230, 1425, 2241, 152, 302, 1621, 1291, 1833, 584, 1520, 562, 1753, 2559, 321, 498, 613, 328, 78, 1265, 3273, 211, 1402, 3121, 2341, 538, 2199, 3238, 2759, 449, 382, 2160, 16, 1281, 624, 2878, 678, 2335, 741, 2789, 2954, 2667, 1346, 901, 1308, 2659, 1863, 3056, 555, 614, 1541, 1613, 1336, 3066, 2408, 85, 2937, 126, 1730, 171, 2938, 1210, 1798, 890, 2157, 2744, 642, 1500, 873, 1738, 3301, 1887, 1451, 2996, 1726, 304, 628, 2244, 2373, 2022, 416, 3055, 455, 197, 1169, 502, 1609, 1217, 797, 931, 1522, 2381, 2018, 499, 2132, 2403, 3061, 2694, 1816, 2626, 2563, 1125, 3231, 2237, 2778, 801, 1564, 1671, 2200, 443, 1287, 1998, 1409, 137, 2944, 818, 196, 1641, 1692, 1626, 1718, 3188, 1283, 365, 1811, 2209, 164, 1439, 2581, 2067, 1856, 279, 2994, 2801, 3128, 579, 9]

c: 778D6B03791ACAF56CAAFCC78CEE5CBCA1DE8737E9C7FF4AE5F384D344E08223C74C824CB5848520517C7F0EA0645EB6F889517AE5216B0CF41DDC3F0D1DF9BC6E4DECB236A5EA8B214F64266D3CDE08E0CB00E5D91F586706B1EE533D20476F4423B78F916B1726EEEA959FFB9AC634D04A94D09923CB0D4E730CCA4144E7C4884921652DA4928C68E644F673CFC57D3E87CF5BE581A89F9CB8F0FCE2782D681E5CE88AF58458C3D63D807572DE5AA8E1FAF2DCD14EDB7349565B7D3271DDBEB0B6CC7AFE08635784311159733C46E5FDC5E0CD36CE5685ACFB1AFE50ABB46F447521E60D9C8F0E4CA28C190ABB40C365F412471E95A8EA396D4BD8070EEB1F02B07C825367AA1EC0F10C3862416BB21AD6CA748A86E9829EFC1A0499093C85176D37F574C75CF5EDFA8D920D3268CB34C6A4BB0002869BC05D7C8FCC0658D4A01EACD74557A37D98A763074752DFDD6429881CAFF577D3A048031BD52C4E9726398590F9519FD59405D6B3C307AFCB168A985785D954A6D1DC1EA92E1EB6F946A4D99DD6CA307ABFD8362FABA98BB264C69C5F555D60883CC56019FEB4E8000C48B7E68CD667F00B5250CEF293A4A9E778726E62F120361E21AB3140464CDC6ABDE9EA05198D8B3BB671B9111A2F317582847CA5015664F22CDB08C143187BDE2129B54F34160295D75FE9A494FD7E67AAA76B57AAFFD89D01A71DF5C8158620298D582BBEFA6D09AC412A99AA3BE9C383504948C43DD5AF4127B1435804F44BAFA142BFC2A95D95FB2EF0641ABE71064DE51D6B9EC50857B8EEF7F48036313D0E936763B8F7BDE69B064DD5761D80EA6F1A8B37565753C579BBB895EFB9FCB3FC5FA3362E3774F0F77140B973CAE587BAD2F3B566A9C25A969347E5C54F87F1105E9C074867D94077CCAE3ABEA54520EDB51D9DAABE7848E78FDF66E07E2E22B30251931E890BAF1F5E177D4D9CEC9E4969481FD7C1335A0ED5879F34EF4BB4F66C28803CEA162BA461506D52EB3AE16951922B06825186C3D4CE1B51F3C92F3C52F2D04D1F13B2B17C9EEB882CCE0EB88B7EA9A1CE4E37415CC84C7BC436A4628386CC77D9AFD207911BD9BFD8A7FA05C275BE0C4C6A8FC0A61BDA1D67AE33B5310BE1290DC71C1418EB5744BF2842C1652173A49A692E71FE43258A205B3CAAB90C0304A51E77D01B404A01FAE2F83AB80C5DBF6CF518C001F46A633FA169B1BDB77A9D0B1E0C007835C09F6ABBA96F3F53564DA508EE8861A483A81749D4A44672B1EF1605F29D168B74B736B4F13501D7AD1213118A7832E666A50BE8010D54322A526CF7A4E543A79D0D98E004FBEC76EA3F7E887BDBAF50DADFDDDF3FFECF6D3F77EA4B9B16DC754F4A68E5EF32F6A137E7C9E3C3E8C2E236C7EBC45D46EC1677A5A8BB2668443B0BE8693DC257F13D8B9A90100B92B4D1761B819673832C32020671BFB3D0220A363E4BED6D649D3F7368CFE081E196A43D4708798E31BB2A2F61824674ABA2FC9DCD05DB84B8627AE11488886F921BC79AE1FD03
